fn foo() {
    let v = 1;
    //ERROR:
    if v > 2 {
        return 1;
    }
}
